Axiom A - PDFSEARCH.IO - Document Search Engine

Axiom A
Results: 172

#	Item
121	January 9, 2005 Errata (comments; fix-up of typos and errors) to Krzysztof Ciesielski and Janusz Pawlikowski, Covering Property Axiom CPA. A combinatorial core of the iterated perfect set model, Cambridge Tracts in Mathe Add to Reading List Source URL: www.math.wvu.edu - Date: 2005-01-09 16:47:56
122	TOWARDS A THEORY OF CAUSAL IMPLICATION Add to Reading List Source URL: www.stepanovpapers.com Language: English - Date: 2005-02-24 00:00:00 Propositional calculus Boolean algebra Semantics Formal systems Negation Axiom Tautology Rule of inference Vacuous truth Logic Mathematical logic Mathematics
123	TOWARDS A THEORY OF CAUSAL IMPLICATION Alexander Stepanov Department of Electrical Engineering and Computer Science Add to Reading List Source URL: www.stepanovpapers.com Language: English - Date: 2005-02-24 00:00:00 Propositional calculus Boolean algebra Semantics Formal systems Negation Axiom Tautology Vacuous truth Rule of inference Logic Mathematical logic Mathematics
124	Preface This book is an undergraduate introduction to pure mathematics. It can serve as a course bridging the gap between “procedural” mathematics (that emphasizes calculation) and “conceptual” mathematics (that Add to Reading List Source URL: www.math.unm.edu Language: English - Date: 2013-11-19 13:03:40 Logic Mathematical object Mathematical logic Mereology Infinity Mathematical proof Intuitionism Axiom Metaphysics Mathematics Philosophy of mathematics Philosophy
125	MATHESIS 2013 A Huge Hit Among Students, Parents ! On[removed], Saturday, students from standards VI to VIII of Everwin Matriculation hosted the Maths expo, Mathesis, which had Assistant Professor Dr. K. Kumaraswamy, A Add to Reading List Source URL: everwinschool.com Language: English - Date: 2013-12-11 07:45:17 Mathematics education Mathematics Axiom Logic
126	Alan Kuhnle[removed]Theorem 1. With the Axiom of Choice, there exists an undetermined game on ω <ω . Proof. Notice that a strategy is a function σ : ω <ω → ω <ω . Thus, the set S := {σ : σ is a strategy } = Add to Reading List Source URL: alanmath.files.wordpress.com Language: English - Date: 2011-10-20 18:23:55 Cardinal numbers Beta amyloid Constructible universe Limit ordinal Insulin-degrading enzyme Θ Mathematical logic Set theory Ordinal numbers
127	Aphorisms for Math & a Bit/Byte More #93 of Gottschalk’s Gestalts A Series Illustrating Innovative Forms of the Organization & Exposition of Mathematics Add to Reading List Source URL: gottschalksgestalts.org Language: English - Date: 2005-01-23 22:29:49 Functions and mappings Philosophy of science Elementary mathematics Ignoramus et ignorabimus David Hilbert Uncertainty principle Werner Heisenberg Integral Axiom Mathematics Mathematical analysis Physics
128	A Finitely Axiomatized Formalization of Predicate Calculus with Equality Note: This is a preprint of Megill, “A Finitely Axiomatized Formalization of Predicate Calculus with Equality,” Notre Dame Journal of Formal Lo Add to Reading List Source URL: de.metamath.org Language: English - Date: 2014-06-27 17:40:55 Propositional calculus Predicate logic Automated theorem proving Model theory First-order logic Metamath Function Substitution Axiom Logic Mathematical logic Mathematics
129	Metamath A Computer Language for Pure Mathematics Norman Megill ∼ Public Domain ∼ Add to Reading List Source URL: de.metamath.org Language: English - Date: 2014-06-27 17:40:55 Formal methods Logical syntax Formal languages Metamath Set theory Automated proof checking Axiom Automated theorem proving First-order logic Logic Mathematics Mathematical logic
130	What Is Geometry? #17 of Gottschalk’s Gestalts A Series Illustrating Innovative Forms of the Organization & Exposition of Mathematics Add to Reading List Source URL: gottschalksgestalts.org Language: English - Date: 2005-01-23 22:19:35 Projective geometry Differential geometry Algebraic geometry Space Euclidean geometry Euclidean space Manifold Axiom Differentiable manifold Mathematics Geometry Topology

UPDATE